]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
extensionPrefs: Fix prefs button
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 4 Feb 2016 17:22:27 +0000 (18:22 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 11 Feb 2016 14:01:53 +0000 (15:01 +0100)
js/extensionPrefs/main.js

index e17a05a959ea92bb66888818d3c22c846101197c..6e0968485f3945837a85db3384f6e5c8077ab1cb 100644 (file)
@@ -24,7 +24,6 @@ const GnomeShellIface = '<node> \
 </node>';
 
 const customCss = '.prefs-button { \
-                       padding: 8px; \
                        border-radius: 20px; \
                    }';